Petri net modelling of bridge asset management using maintenance-related state conditions
نویسندگان
چکیده
منابع مشابه
Petri Net Modelling for Enhanced IT Asset Recycling Solutions
From preliminary design through product sustainment to end of life removal, optimal performance through the entire life cycle, is one of the most important design considerations in engineering systems. There are a number of mathematical modelling techniques available to determine the performance of any system, or process design. This paper focuses on the Petri Net technique for the representati...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملModelling of RSVP Protocol using Coloured Petri Net
The main formal technique used for RSVP specification and verification is CPNs. In this paper, their functionality is described briefly by using RSVP without giving any formal definitions. The paper gives an informal introduction to the components, dynamic behaviour, occurrence and enabling mechanism of RSVP using CPNs.
متن کاملPetri net modelling of biological regulatory networks
The complexity of biological regulatory networks often defies the intuition of the biologist and calls for the development of proper mathematical methods to model their structures and to give insight in their dynamical properties. One qualitative approach consists in modelling regulatory networks in terms of logical equations (using either Boolean or multi-level discretisations). The Petri Net ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Structure and Infrastructure Engineering
سال: 2015
ISSN: 1573-2479,1744-8980
DOI: 10.1080/15732479.2015.1043639